{
  read (x);
  if x then write (1) else write (2)
}